Programming idioms - PDFSEARCH.IO - Document Search Engine

Programming idioms
Results: 203

#	Item
11	APLicative Programming with Naperian Functors Extended abstract Jeremy Gibbons University of Oxford, UK 1. Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2016-07-31 14:34:50 Vectors Linear algebra Functional programming Programming idioms Abstract algebra Applicative functor Functor Euclidean vector Vector space Array programming Map Dimension
12	The OCaml Language Syntax let f x = expr let rec f x = expr apply: Add to Reading List Source URL: www.lri.fr Language: English - Date: 2012-09-19 09:12:11 Functional programming Data types Subroutines Programming idioms Object Anonymous function Immutable object This Constructor Recursion Const Monad
13	Free Theorems Involving Type Constructor Classes Janis Voigtl¨ ander Technische Universit¨ at Dresden Add to Reading List Source URL: www.janis-voigtlaender.eu Language: English - Date: 2016-08-01 05:50:10 Functional programming Programming idioms Monad Adjoint functors Haskell Type class
14	Eager Comprehensions in Scheme The design of SRFI 42 Sebastian Egner Philips Research Laboratories, The Netherlands Add to Reading List Source URL: www.deinprogramm.de Language: English - Date: 2005-10-09 10:53:19 Functional languages Programming idioms Programming language comparisons Recursion Subroutines List comprehension Scheme Generator Scope NPL Control flow Lisp
15	Understanding Idiomatic Traversals Backwards and Forwards Richard Bird, Jeremy Gibbons, Stefan Mehner, Tom Schrijvers, and Janis Voigtl¨ander July 3rd, 2013 Add to Reading List Source URL: www.janis-voigtlaender.eu Language: English - Date: 2016-08-01 05:50:10 Programming language comparisons Functional programming Programming idioms Recursion Monad Tree traversal Map Foreach loop Depth-first search
16	The Implementation of equal? and eq? in the MT Virtual Machine Add to Reading List Source URL: con.racket-lang.org Language: English - Date: 2014-03-07 23:24:47 Recursion Theoretical computer science Mathematical logic Computability theory Programming idioms Infinite loop Functional programming Algorithm Structural induction
17	Partial Evaluation of Functional Logic Programs in Rewriting-based Languages L. Lafave March 1997 Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:10 Programming idioms Mathematical logic Elementary mathematics Recursion Computability theory Escher Monad Rewriting Term Path ordering Fold Function
18	Modular Reifiable Matching A List-of-Functors Approach to Two-Level Types Bruno C. d. S. Oliveira Shin-Cheng Mu Add to Reading List Source URL: i.cs.hku.hk Language: English - Date: 2015-08-09 21:04:41 Object-oriented programming Computability theory Theoretical computer science Programming idioms Type theory Functor Subtyping Combinatorial species Lambda calculus Monad Recursion Is-a
19	Type-Directed Language Extension for Effectful Computations Evgenii Kotelnikov Chalmers University of Technology Gothenburg, Sweden Add to Reading List Source URL: lampwww.epfl.ch Language: English - Date: 2014-07-29 07:43:08 Software engineering Computer programming Computing Functional programming Functional languages Programming idioms Object-oriented programming languages Programming language comparisons Monad Scala List comprehension Workflow
20	Formal Verification of Hardware Synthesis Thomas Braibant1 and Adam Chlipala2 1 Inria Add to Reading List Source URL: plv.csail.mit.edu Language: English - Date: 2015-12-16 11:34:17 Programming idioms Computability theory Functional programming Logic in computer science Models of computation Recursion Denotational semantics Monad FO Valuation Static single assignment form